Перевод: со всех языков на все языки

со всех языков на все языки

type are

См. также в других словарях:

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Type (biology) — Type specimen for Cimbrophlebia brooksi, a fossil scorpion fly. By convention, the red label denotes a type specimen. In biology, a type is one particular specimen (or in some cases a group of specimens) of an organism to which the scientific… …   Wikipedia

  • Type — Type, n. [F. type; cf. It. tipo, from L. typus a figure, image, a form, type, character, Gr. ? the mark of a blow, impression, form of character, model, from the root of ? to beat, strike; cf. Skr. tup to hurt.] [1913 Webster] 1. The mark or… …   The Collaborative International Dictionary of English

  • Type founder — Type Type, n. [F. type; cf. It. tipo, from L. typus a figure, image, a form, type, character, Gr. ? the mark of a blow, impression, form of character, model, from the root of ? to beat, strike; cf. Skr. tup to hurt.] [1913 Webster] 1. The mark or …   The Collaborative International Dictionary of English

  • Type foundery — Type Type, n. [F. type; cf. It. tipo, from L. typus a figure, image, a form, type, character, Gr. ? the mark of a blow, impression, form of character, model, from the root of ? to beat, strike; cf. Skr. tup to hurt.] [1913 Webster] 1. The mark or …   The Collaborative International Dictionary of English

  • Type foundry — Type Type, n. [F. type; cf. It. tipo, from L. typus a figure, image, a form, type, character, Gr. ? the mark of a blow, impression, form of character, model, from the root of ? to beat, strike; cf. Skr. tup to hurt.] [1913 Webster] 1. The mark or …   The Collaborative International Dictionary of English

  • Type metal — Type Type, n. [F. type; cf. It. tipo, from L. typus a figure, image, a form, type, character, Gr. ? the mark of a blow, impression, form of character, model, from the root of ? to beat, strike; cf. Skr. tup to hurt.] [1913 Webster] 1. The mark or …   The Collaborative International Dictionary of English

  • Type wheel — Type Type, n. [F. type; cf. It. tipo, from L. typus a figure, image, a form, type, character, Gr. ? the mark of a blow, impression, form of character, model, from the root of ? to beat, strike; cf. Skr. tup to hurt.] [1913 Webster] 1. The mark or …   The Collaborative International Dictionary of English

  • Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… …   Wikipedia

  • Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science …   Wikipedia

  • Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»